Finite-state machine

Results: 655



#Item
181Mathematics / Ω-automaton / Büchi automaton / Semiautomaton / Alphabet / Finite-state machine / Muller automaton / Automata theory / Theoretical computer science / Computer science

Foundations of Software Technology and Theoretical Computer ScienceSubmission Quasi-Weak Cost Automata: A New Variant of Weakness∗ Denis Kuperberg1 , Michael Vanden Boom2 1 L IAFA /CNRS/Universit´

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2012-10-25 13:52:51
182Concurrency / Applied mathematics / Diagrams / Petri net / Automata theory / Formal verification / Finite-state machine / Petri / Model checking / Models of computation / Theoretical computer science / Computer science

Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan Magnin

Add to Reading List

Source URL: www.nii.ac.jp

Language: English - Date: 2013-04-09 03:06:25
183Digital electronics / Theoretical computer science / UML diagrams / Access control / Logic / Finite-state machine / Turnstile / State diagram / Lock / Models of computation / Mathematics / Automata theory

UML Tutorial: Finite State Machines Robert C. Martin Engineering Notebook Column C++ Report, June 98 In my last column I presented UML sequence diagrams. Sequence diagrams are one of the many tools in

Add to Reading List

Source URL: www.foretrade.com

Language: English - Date: 2009-09-24 10:00:53
184Computer science / Automata theory / Concurrency / Diagrams / Petri net / Formal verification / Temporal logic / Finite-state machine / Modal logic / Models of computation / Applied mathematics / Theoretical computer science

Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems

Add to Reading List

Source URL: www.nii.ac.jp

Language: English - Date: 2013-04-03 20:03:57
185Applied mathematics / Finite-state machine / Function / Phase transition / Algorithm / Mathematics / Models of computation / Automata theory

D:/Publications/MoSCoE/ecows-2006/ECOWS-2006.dvi

Add to Reading List

Source URL: www.cs.iastate.edu

Language: English - Date: 2006-09-21 19:42:45
186Computability theory / Automata theory / Theory of computation / Models of computation / Church–Turing thesis / Finite-state machine / Algorithm / Decidability / Krohn–Rhodes theory / Theoretical computer science / Computer science / Mathematics

Automata theory Regular Cost Functions Contributions of the thesis

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2013-05-01 05:10:06
187Information / Communications protocol / Finite-state machine / Algorithm / Mealy machine / Function / Output / Model checking / Models of computation / Mathematics / Data

MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English
188Applied mathematics / Theoretical computer science / Automata theory / Systems / Petri net / Formal verification / Finite-state machine / Algorithm / Dynamical system / Models of computation / Concurrency / Computer science

Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 4: Models and algorithms to analyze large-scale concurrent systems: approaches inspired by pi-calculus and static ana

Add to Reading List

Source URL: www.nii.ac.jp

Language: English - Date: 2013-04-15 19:28:16
189Computer science / Models of computation / Computability theory / Automata theory / Finite-state machine / Universal Turing machine / Computability / Theory of computation / Turing machine / Theoretical computer science

COMS11700 Turing machines Ashley Montanaro Department of Computer Science, University of Bristol

Add to Reading List

Source URL: www.cs.bris.ac.uk

Language: English - Date: 2014-05-31 09:18:34
190Spamming / Computer network security / Multi-agent systems / Botnet / Simple Mail Transfer Protocol / Communications protocol / Finite-state machine / Mealy machine / Transmission Control Protocol / Computing / Data / Models of computation

Inference and Analysis of Formal Models of Botnet Command and Control Protocols Chia Yuan Cho Domagoj Babi´c

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:28
UPDATE